Перевод: с английского на русский

с русского на английский

существенная неразрешимость

См. также в других словарях:

  • СУЩЕСТВЕННО НЕРАЗРЕШИМАЯ ТЕОРИЯ — алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. н. т. тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию …   Математическая энциклопедия

  • Математика —          I. Определение предмета математики, связь с другими науками и техникой.          Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира.          «Чистая …   Большая советская энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»